TSTP Solution File: ITP147^1 by Nitpick---2016